|
|
Parametric Properties for Log Checker
Mutňanský, Filip ; Kočí, Radek (oponent) ; Smrčka, Aleš (vedoucí práce)
The goal of this thesis is to implement a tool that based on user defined properties can verify sequences of events in the traces of the program, or the log file. Properties are defined in extended regular expressions. The tool is able to verify parametric properties. User can define relations between parameters of events. Input of this tool is the definition of properties and constraints of parameters. Output of the tool is the report of violated properties with its sequences of events that caused the error.
|
|
|
Pro lidi srozumitelný jazyk temporální logiky
Žilka, Lukáš ; Letko, Zdeněk (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá automatickým překladem z přirozeného jazyka do temporální logiky. Existující výzkum na toto téma je shrnut a práce je na něm založena. Pro specifikaci temporálních vlastností, je vytvořen kontrolovaný jazyk, podmnožina anglického jazyka. Hlavním přínosem práce jsou algoritmy pro překlad mezi přirozeným jazykem a temporální logikou, založený na zpracovávání a prohledávání vzorů v gramatických závislostech Standfordského parseru angličtiny. Další směr vývoje je diskutován na konci.
|
|
|
Parametric Properties for Log Checker
Mutňanský, Filip ; Kočí, Radek (oponent) ; Smrčka, Aleš (vedoucí práce)
The goal of this thesis is to implement a tool that based on user defined properties can verify sequences of events in the traces of the program, or the log file. Properties are defined in extended regular expressions. The tool is able to verify parametric properties. User can define relations between parameters of events. Input of this tool is the definition of properties and constraints of parameters. Output of the tool is the report of violated properties with its sequences of events that caused the error.
|
|
|
Pro lidi srozumitelný jazyk temporální logiky
Žilka, Lukáš ; Letko, Zdeněk (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá automatickým překladem z přirozeného jazyka do temporální logiky. Existující výzkum na toto téma je shrnut a práce je na něm založena. Pro specifikaci temporálních vlastností, je vytvořen kontrolovaný jazyk, podmnožina anglického jazyka. Hlavním přínosem práce jsou algoritmy pro překlad mezi přirozeným jazykem a temporální logikou, založený na zpracovávání a prohledávání vzorů v gramatických závislostech Standfordského parseru angličtiny. Další směr vývoje je diskutován na konci.
|
|
| |
|
|
Modelování podnikových procesů
Panuška, Martin ; Řepa, Václav (vedoucí práce) ; Svatoš, Oleg (oponent)
V diplomové práci se zabýváme modelováním podnikových procesů z pohledu logiky. Tento pohled má několik výhod. Za prvé, protože logika prvního řádu je formálním logickým systémem, umožňuje nám důkladně pochopit základy procesního modelování. Za druhé, poté, co porozumíme logickým základům modelování podnikových procesů, můžeme vytvořit jazyk pro takové modelování postavený výhradně na logice nebo vyjádřit existující jazyk za použití logiky. Obojí pak může být využitelné pro usuzování umělé inteligence. Za třetí, model podnikových procesů, u kterého existuje vyjádření pomocí logiky (nebo jiného deklarativního jazyka), může být snadno uložen v deklarativní znalostní bázi. Za čtvrté, procesní modely založené na logice můžou být využity ve firmách jako základ pro znalostní management. A za páté, věda o logice nabízí množství různých sémantických rozšíření, které můžou být využity za účelem rozšíření výrazových prostředků jazyka pro modelování podnikových procesů. Prvním cílem práce je vypracování důkladného přehledu literatury, týkající se obou našich ob-lastí -- modelování podnikových procesů a temporální logiky. Souvisejícím druhým cílem je pro-zkoumání možností logiky reprezentovat procesy a obecně pojem času a poskytnout techniky k logické reprezentaci procesů. Následně by měly být poskytnuty příklady, které dokážou, že vy-brané techniky jsou schopné poskytnout výhody vyjmenované v prvním odstavci. Třetím cílem je navržení vylepšení současného přístupu k modelování podnikových procesů a poskytnutí re-levantních příkladů. Nakonec je možné navrhnout i způsoby zlepšení prezentovaných technik. Hlavním přínosem práce je, že představuje slušný základ pro další výzkum předmětné oblasti. Pro začátečníky, ale i pokročilé je práce dobrým odrazovým můstkem.
|
host ::
RSS.